First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
181	Chapter 2 (First-Order Logic) of Verification of Object-Oriented Software The KeY approach c 2007 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-09-18 03:47:56
182	Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:18:52 Logic Mathematical logic Mathematics Model theory Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus
183	Appears in Proceedings of the 14th International Conference on Inductive Logic Programming (ILP). Porto, Portugal. September, 2004. Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Add to Reading List Source URL: mark.goadrich.com Language: English - Date: 2007-08-17 15:25:09
184	Transfer Learning Across Relational and Uncertain Domains: A Language-Bias Approach Raksha Kumaraswamy Phillip Odom Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2015-07-10 13:58:39 Logic Linguistics Cognitive science Cybernetics Learning Machine learning First-order logic Logic programming Clause Predicate Algorithm
185	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
186	Toward Model Theory with Data Values Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Abstract. We define a variant of first-order logic that deals with data Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:12:42
187	Distance based Kernels for First-Order Logic Data Nirattaya Khamsemanan1 , Cholwich Nattee1 , and Masayuki Numao2 1 Sirindhorn International Institute of Technology, Thammasat University, Thailand Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-05 01:44:53
188	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
189	Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2013-06-10 17:15:26 Mathematics Logic Mathematical logic Model theory Fibonacci numbers Algebraic structures Semigroup theory Fibonacci word First-order logic Semigroup Interpretation Combinatory logic
190	On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:19:34 Logic Mathematical logic Model theory Philosophy of language Predicate logic Arguments for the existence of God First-order logic Ontological argument Definite description Interpretation Atomic formula Constructible universe

UPDATE